Buy Used and New Wojciech Penczek Books

Advances in Verification of Time Petri Nets and Timed Automata: A Temporal Logic Approach (Studies in Computational Intelligence): 20

by Wojciech Penczek,Agata Pólrola

ISBN 13: 9783540328698

Format: Hardcover (292 pages)
Publisher: Springer
Published: 26 Jun 2006

Save for later

Mathematical Foundations of Computer Science 1996: 21st International Symposium, MFCS' 96, Crakow, Poland, September 2 - 6, 1996. Proceedings: 1113 (Lecture Notes in Computer Science)

by Wojciech Penczek,Andrzej Szalas

ISBN 13: 9783540615507

Format: Paperback (612 pages)
Publisher: Springer
Published: 07 Aug 1996

Save for later

Transactions on Petri Nets and Other Models of Concurrency XII: 10470 (Lecture Notes in Computer Science)

by Maciej Koutny, Jetty Kleijn, Wojciech Penczek, Mingmin Zhang

ISBN 13: 9783662558614

Format: Paperback (236 pages)
Publisher: Springer
Published: 26 Sep 2017

Save for later

Transactions on Petri Nets and Other Models of Concurrency XIII: 11090 (Lecture Notes in Computer Science)

by Maciej Koutny,Lars Michael Kristensen,Wojciech Penczek

ISBN 13: 9783662583807

Format: Paperback (232 pages)
Publisher: Springer
Published: 29 Nov 2018

Save for later

Advances in Verification of Time Petri Nets and Timed Automata: A Temporal Logic Approach: 20 (Studies in Computational Intelligence)

by Wojciech Penczek,Agata Pólrola

ISBN 13: 9783642069420

Format: Paperback (292 pages)
Publisher: Springer
Published: 25 Nov 2010

Save for later

Challenging Problems and Solutions in Intelligent Systems: 634 (Studies in Computational Intelligence)

by Guy de Tre,Przemyslaw Grzegorzewski,Janusz Kacprzyk,Jan W. Owsinski,Wojciech Penczek,Slawomir Zadrozny

ISBN 13: 9783319807362

Format: Paperback (360 pages)
Publisher: Springer
Published: 25 Apr 2018

Save for later